Formulating Haskell
نویسنده
چکیده
The functional programming language Haskell is examined from the point of view of proving programs correct. Particular features explored include the data type deenition facilities, classes, the behaviour of patterns and guards and the monad approach to IO in the Glasgow Haskell compiler.
منابع مشابه
Exploiting Unique Fixed Points
Functional programmers happily use equational reasoning and induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, per perhaps less enthusiastically. Coinduction is often considered as a rather low-level proof method, especially, as it seems to depart rather radically from equational reasoning. In this talk we introduce an altern...
متن کاملParallelizing MCP-Haskell for Evaluating Haskell# Parallel Programming Environment
In this paper, we present the parallelization of a sequential functional implementation of a Monte Carlo Transport Problem, called MCPHaskell[Hammes et al., 1995], using Haskell#. This experiment gave us important feedback for evaluating Haskell# features, helping us to answer some questions, like how expressive is Haskell# for representing known parallel computational patterns, how easy it is ...
متن کاملTyping Haskell in Haskell
Haskell benefits from a sophisticated type system, but implementors, programmers, and researchers suffer because it has no formal description. To remedy this shortcoming, we present a Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users. We expect this program to fill a serious gap in curren...
متن کاملAn Editor in Haskell for Haskell
Yi is a text editor written in Haskell and extensible in Haskell. We take advantage of Haskell’s expressive power to define embedded DSLs that form the foundation of the editor. In turn, these DSLs provide a flexible mechanism to create extended versions of the editor. Yi also provides some support for editing Haskell code.
متن کاملReport on the Visit to Department of Computer Sciences , Yale University
Department of Computer Science at Yale University has been an integral part of the development and implementation of the Haskell programming language since its inception. They have helped to design Hugs (The Haskell Interpreter), write the Haskell Report (the document defining the language), write the tutorial on Haskell, and most recently Professor Paul Hudak has published a textbook using Has...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992